Types as Theories
نویسنده
چکیده
There are many notions of type in computing. The most classical notion is \types as sets", which has been extended to cover many features of modern programming languages. This paper shows that such features are handled perhaps even more naturally by an extension of the \types as algebras" notion to a \types as theories" notion. This notion naturally supports object oriented concepts, including inheritance and local state, as well as generic modules and dependent types. Moreover, it explains why polymorphic operations are natural transformations and provides a systematic foundation for a powerful form of programming in the large. This paper also presents a new semantics for dependent types based on strict brations.
منابع مشابه
Finite difference method for sixth-order derivatives of differential equations in buckling of nanoplates due to coupled surface energy and non-local elasticity theories
In this article, finite difference method (FDM) is used to solve sixth-order derivatives of differential equations in buckling analysis of nanoplates due to coupled surface energy and non-local elasticity theories. The uniform temperature change is used to study thermal effect. The small scale and surface energy effects are added into the governing equations using Eringen’s non-local elasticity...
متن کاملA review of functionally graded thick cylindrical and conical shells
Thick shells have attracted much attention in recent years as intelligent and functional graded materials because of their unique properties. In this review paper, some critical issues and problems in the development of thick shells made from Functionally graded piezoelectric material (FGPM) are discussed. This review has been conducted on various types of methods which are available for thick ...
متن کاملElastic/plastic Buckling Analysis of Skew Thin Plates based on Incremental and Deformation Theories of Plasticity using Generalized Differential Quadrature Method
Abstract In this study, generalized differential quadrature analysis of elastic/plastic buckling of skew thin plates is presented. The governing equations are derived for the first time based on the incremental and deformation theories of plasticity and classical plate theory (CPT). The elastic/plastic behavior of plates is described by the Ramberg-Osgood model. The ranges of plate geometries...
متن کاملComparison of Radial Consolidation Behavior of Clay under Three Types of Cyclic Loading
Vertical drains and stone columns which have been used in infrastructure construction for highways, ports, coastal regions, etc., provide significant benefits for improving soil characteristics such as reducing the drainage length and accelerating the consolidation process. So the investigation of the radial consolidation is inevitable. Soils may be subjected to cyclic loading such as silos, ta...
متن کاملP11: Relationship between Anxiety and Personality Types of Female Students
Anxiety is an unpleasant state of inner turmoil. Anxiety is a feeling of fear, worry and uneasiness, usually generalized and unfocused as an overreaction to a situation that is only subjectively seen as menacing. The trait of extroversion-introversion is a central dimension of human personality theories. Extraversion and introversion are typically viewed as a single continuum. Thus, to be high ...
متن کاملWho is an Ideal Organizational Leader in Iran? Examining the Content, Structure, and Consequences of Iranian Implicit Leadership Theories (IILTS)
Implicit Leadership Theories (ILTs) are individuals’ perceptions of the traits and behaviors characterizing leaders. Four studies investigated the reliabilities and different types of validities for a scale developed to measure Iranian Implicit leadership Theories (IILTs). Study 1 used a qualitative method to extract the implicit theories of ideal leadership after interviewing 27 experts. The I...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1991